Section: New Results
IDE for Coq
Participants : Enrico Tassi, Alexander Faithfull [ITU Copenhagen] , Jesper Bengtson [ITU Copenhagen] , Carst Tankink.
User interfaces for interactive proof assistants should rely on the advanced software available in integrated development environments. we collaborated with researchers from Copenhagen to build an Eclipse-based environment for the Coq system. This exploits the quick compilation chain that was developed for Coq 8.5. This work has been published in [15] .